Results for 'Augusto Jobim do Amaral'

1000+ found
Order:
  1. Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. ELEMENTOS PARA A PRECISÃO DA VEDAÇÃO DO VENIRE CONTRA FACTUM PROPRIUM NO DIREITO PRIVADO.Marcio Felix Jobim - 2012 - Dissertation, Universidade Federal Do Rio Grande Do Sul
    Download  
     
    Export citation  
     
    Bookmark  
  4. Knowledge & Logic: Towards a science of knowledge.Luis M. Augusto - manuscript
    Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Many-valued logics. A mathematical and computational introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  10
    Some socio-legal and legal philosophical implications of limited universal holism with special considerations of modern human rights.Amar Dhall - 2015 - Dissertation, University of Canberra
    This thesis considers the space of encounter between the quantum mechanical ontology of limited universal holism and the legal system. This space of encounter is identified through an examination of two premises. The first premise is that the ontological structure of limited universal holism has significant legal philosophical and socio-­‐legal implications. The second premise is that the loci of commitment within the ontology of limited universal holism epistemologically coheres with the core ontological notions that underpin the Preamble of the Universal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Epistemologia, Mente, Matemática e Linguagem: Discussões do X Simpósio Internacional Principia.Cezar Augusto Mortari, Jonas Rafael Becker Arenhart & Ivan Ferreira da Cunha (eds.) - 2018 - Florianópolis, Brazil: NEL – Núcleo de Epistemologia e Lógica.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Mill y Marx: dos visiones de la libertad.César Augusto Mora Alonso & Giovanni Mafiol de la Ossa - 2018 - In Hernán Martínez Ferro & César Augusto Mora Alonso (eds.), J. S. Mill: Vigencia y legado de su pensamiento. Bogotá, Colombia: Universidad Libre. pp. 103-121.
    Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Observações sobre a filosofia da matemática de Ludwig Wittgenstein.Gustavo Augusto Fonseca Silva - 2018 - Griot : Revista de Filosofia 17 (1):97-113.
    No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. A filosofia de Ludwig Wittgenstein à luz do diagnóstico de autismo.Gustavo Augusto Fonseca Silva - 2023 - Campina Grande: Eduepb.
    Em 27 de janeiro de 1937, o filósofo Ludwig Wittgenstein (1889-1951) anotou em seu diário, enquanto viajava para Skjolden, um vilarejo norueguês à beira do fiorde Sogne, onde havia construído em 1913 uma cabana para viver isolado: “Certamente sou singular em muitas coisas & por isso, muitas pessoas se comportam de maneira comum quando comparadas comigo; mas em que consiste minha singularidade?” De acordo com psiquiatras contemporâneos como Michael Fitzgerald, Christopher Gillberg e Yoshiki Ishisaka, a singularidade de Wittgenstein decorria de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. O Problema do Pensamento no De Anima de Aristóteles.Fernanda Pereira Augusto da Silva - 2016 - Dissertation, Universidade Federal da Paraíba, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  13. Algumas Notas sobre os Métodos Filosóficos de Ludwig Wittgenstein.Gustavo Augusto Fonseca Silva - 2021 - Revista de Filosofia Moderna E Contemporânea 9 (1):165-183.
    No artigo “Wittgenstein: universalismo, lógica, gramática y lenguaje”, Alejandro Tomasini Bassols afirma que o problema com que Wittgenstein se depara ao fim do Tractatus ”“ as proposições do livro serem elucidações e contrassensos ”“ teve origem em seu erro de considerar a lógica, e não a linguagem, como o mais universal. Bassols afirma ainda que o assim chamado “paradoxo do Tractatus” não foi uma ameaça à segunda filosofia wittgensteiniana porque nela Wittgenstein não cometeu o mesmo erro. Neste artigo argumenta-se que (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Observações Sobre a Filosofia da Mente de Ludwig Wittgenstein.Gustavo Augusto Fonseca Silva - 2018 - Problemata 9 (4):218-232.
    Em sua filosofia da mente, Ludwig Wittgenstein afirma repetidas vezes que não pensamos com as nossas cabeças ou nelas. No entanto, não apresenta argumentos claros em favor desse posicionamento. Para piorar, os comentadores de sua obra não dão a esse aspecto de sua filosofia a atenção devida. Em vista disso, neste artigo investiga-se por que Wittgenstein tanto insistiu em dizer que não pensamos com as nossas cabeças ou nelas. A explicação que se oferece é que Wittgenstein o fez visando a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. La divisibilidad del alma en la psicología de Aristóteles. ¿Es posible conciliar el hilemorfismo y el cardiocentrismo?César Augusto Mora Alonso - 2018 - Cuadernos de Filología Clásica. Estudios Griegos E Indoeuropeos 28:129-139.
    El propósito de este trabajo consiste en destacar el papel central que tiene el problema de la divisibilidad del alma en los dos enfoques bajo los que se presenta la investigación psicológica aristotélica: el hilemórfico y el cardiocéntrico. Mientras que el primero sostiene que el alma es la forma o esencia del cuerpo entero, el segundo aboga por la localización del alma en el corazón, pues asegura que allí se manifiestan los principios de las partes o facultades anímicas. A simple (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. A CAÇA À SABEDORIA: a sophia a partir da Apologia de Platão.Carlos Augusto de Oliveira Carvalhar - 2020 - Dissertation, Ufrj, Brazil
    This is a study of sophía from the passage 20d-21a in Plato’s Apology. There, Socrates tries to understand what kind of wisdom he would have, since the Oracle of Delphi stated that no one would be wiser than him. An investigation of historical aspects was made to understand the trial of Socrates and conviction, also a mapping of sophía’s main uses through the corpus platonicum was built, as well an overview of the usage of this concept by others greek authors. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Libertação, Raça e Decolonialidade.Felipe Nogueira de Carvalho, Breno Augusto Costa, Rodrigo Marcos Jesus, Milena Oliveira Pires & Leonardo Rennó Santos (eds.) - 2024 - Toledo, PR: Editora Quero Saber.
    O objetivo do presente volume é apresentar à comunidade filosófica parte do trabalho realizado nos GTs de Filosofia da Libertação, Latino-americana e Africana e Filosofia e Raça durante o XIX Encontro Nacional da ANPOF (Goiânia, 2022), através de textos apresentados no XIX Encontro Nacional da ANPOF (Goiânia, 2022), ou frutos de discussões e debates realizados nos GTs supracitados. Agradecemos a todos, todas e todes que apresentaram seus trabalhos e/ou participaram ativamente das discussões que deram origem aos textos deste volume, enriquecendo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Teatro y Estética del Oprimido. Homenaje a Augusto Boal.José Ramón Fabelo-Corzo & Ana Lucero López Troncoso (eds.) - 2016 - Puebla, Pue., México: Colección La Fuente, BUAP.
    Este libro inaugura la serie Homenaje de la Colección La Fuente. Con él se busca reconocer, de manera particular, al pensador, dramaturgo y director brasileño Augusto Boal (1931-2009), creador del teatro y la estética del oprimido, genuina aportación cultural latinoamericana que mucho tiene que ver con ese particular lugar de enunciación que es Nuestra América y sus siempre actuales expectativas emancipadoras. El libro fue precedido y nutrido por un Coloquio que en mayo de 2014 reunió a importantes especialistas y (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Colonialidad del crear: aportaciones de augusto boal para una estética descolonizadora.José Ramón Fabelo Corzo & Ana Lucero López Troncoso - 2015 - In José Ramón Fabelo-Corzo & María Guadalupe Canet Cruz (eds.), La estética y el arte a debate (I). Puebla, Pue., México: Colección La Fuente, BUAP. pp. pp. 293-305.
    En este ensayo nos proponemos realizar un trabajo de traducción, como lo sugiere Boaventura de Sousa Santos, entre aspectos puntuales de la teoría estética de Augusto Boal y algunos de los estudios que sobre la colonialidad del ser han realizado autores como Walter Mignolo y Nelson Maldonado Torres, entre otros. Nuestros objetivos son, primero, subrayar los vínculos entre las dos teorías para revelar la viabilidad de la existencia de una colonialidad del crear; segundo, reflexionar la estética del oprimido como (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Entre dos tempestades. Boal dialoga con Shakespeare.José Ramón Fabelo Corzo & Ana Lucero López Troncoso - 2016 - In José Ramón Fabelo-Corzo & Ana Lucero López Troncoso (eds.), Teatro y Estética del Oprimido. Homenaje a Augusto Boal. Puebla, Pue., México: Colección La Fuente, BUAP. pp. 285-299.
    Los autores realizan un análisis comparativo entre The Tempest de Willian Shakespeare y La Tempestad de Augusto Boal, siguiendo la pauta de este último autor, quien ve en su obra no la adaptación de la del clásico dramaturgo inglés, sino la respuesta a aquella desde la perspectiva de Caliban y no de Próspero.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Princípios metafísicos do método newtoniano.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. pp. 172-183.
    CAMILO, Bruno. Princípios metafísicos do método newtoniano. In: CONTE, Jaimir; MORTARI, Cezar Augusto. (org.). Temas em filosofia contemporânea. Florianópolis: NEL/UFSC, 2014. p. 172-183. (Coleção rumos da epistemologia; 13). -/- É no modus operandi de Isaac Newton que visualizamos a relação entre o método dedutivo e o indutivo na análise científica dos fenômenos e a relação entre a metafísica e a prática científica. Pois, de um lado temos a “mecânica racional”, a qual compreende que a única forma de garantir a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Fisiologia do Estro e do Serviço na Reprodução Bovina.Emanuel Isaque Cordeiro da Silva & Emanuel Isaque Da Silva - manuscript
    FISIOLOGIA DA REPRODUÇÃO BOVINA: 2 - ESTRO E SERVIÇO -/- -/- INTRODUÇÃO -/- -/- A identificação de vacas em cio (estro ou cio) é, sem dúvida, a prática mais importante no manejo da reprodução do rebanho leiteiro. Apesar dos avanços no conhecimento da fisiologia da reprodução a nível celular e molecular, a identificação de vacas em estro continua sendo o problema reprodutivo mais importante e o que mais causa prejuízos econômicos. Na indústria de laticínios no Brasil, seu impacto não foi (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Uma resposta ao problema do brinco das princesas.Renato Rocha - 2020 - Fundamento: Revista de Pesquisa Em Filosofia 2018 (16):1-6.
    I present in this note an alternative answer to the princesses' earring problem, found in the first chapter of Cezar Augusto Mortari's book "Introdução à Lógica”.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Nutrição Sobre as Falhas Reprodutivas dos Bovinos.Emanuel Isaque Cordeiro da Silva - manuscript
    NUTRIÇÃO SOBRE AS FALHAS REPRODUTIVAS DOS BOVINOS -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- -/- FALHAS REPRODUTIVAS DE BOVINOS -/- INTRODUÇÃO -/- Os bovinos, assim como tantos outros mamíferos e demais espécies, podem sofrer distúrbios durante o ciclo reprodutivo. Transtornos, alterações ou patogenias afetam diretamente a saúde do sistema reprodutor desses animais. As causas podem ser individuais ou multifatoriais, de caráter parasitário, patogênico, climático, nutricional etc. As (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Relação e Efeitos Bioquímico-nutricionais Sobre os Transtornos do Ciclo Estral em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS TRANSTORNOS DO CICLO ESTRAL DE VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__6. Transtornos do ciclo estral -/- Qualquer alteração na frequência, duração ou intensidade do ciclo estral é considerada uma perturbação do ciclo, cujas origens variam etiologicamente. As perturbações do ciclo podem originar-se em qualquer das partes do eixo hipotálamo-hipófise-ovário (FRAZER, 2005; GORDON, 1996). Pode ou não ser do tipo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. A Conversão da Consciência como princípio da moralidade.Konrad Utz - 2016 - Veritas – Revista de Filosofia da Pucrs 61 (3):578-602.
    Kant mostra que uma teoria fundamental da normatividade e da moralidade não pode dar nem uma explanação nem uma prova da normatividade, mas apenas pode articular e explicitar sua origem. Ela pode fazer isso indicando o lugar ou o topos e a virada ou a trope de seu originar. Conforme Kant, o topos da normatividade é a vontade enquanto razão prática e sua trope é o uso geral desta razão que tipicamente é instrumental, no sentido da reflexão. A trope da (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Émile Durkheim: Coesão e Fato Social.Emanuel Isaque Cordeiro da Silva - unknown
    Émile Durkheim: Coesão e Fato Social -/- Emanuel Isaque Cordeiro da Silva E-mails: [email protected] / [email protected] WhatsApp: (82)9.8143-8399 -/- Émile Durkheim: Coesão e Fato Social Nascido em 1858, Durkheim era francês e foi bastante influenciado pela obra do filósofo também francês Augusto Comte (1798-1857), que metodizou pela primeira vez o estudo da sociedade (Sociologia) como uma ciência particular e peculiar, e que também conectou a Sociologia com alguns artífices peculiares das Ciências Naturais. Em contrapartida, Durkheim procurou alicerçar a Sociologia (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Crítica à Metafísica.Emanuel Isaque Cordeiro da Silva & Alana Thaís da Silva - manuscript
    -/- FILOSOFIA: CRÍTICA À METAFÍSICA -/- PHILOSOPHY: CRITICISM TO METAPHYSICS -/- Por: Emanuel Isaque Cordeiro da Silva - UFRPE Alana Thaís Mayza da Silva - CAP-UFPE RESUMO: A Metafísica (do grego: Μεταφυσική) é uma área inerente à Filosofia, dito isto, é uma esfera que compreende o mundo e os seres humanos sob uma fundamentação suprassensível da realidade, bem como goza de fundamentação ontológica e teológica para explicação dos dilemas do nosso mundo. Logo, não goza da experiência e explicação científica com (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.
    For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
    Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  31. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  32. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. JKSS and Paul Feyerabend.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):1-2.
    In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.
    Download  
     
    Export citation  
     
    Bookmark  
  34. Who's Afraid of Idealism?: Epistemological Idealism From the Kantian and Nietzschean Points of View.Luis M. Augusto - 2005 - University Press of America.
    In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  35. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):1-2.
    The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. What of multi- and interdisciplinarity? A (personal) case study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Approximating the limit: the interaction between quasi 'almost' and some temporal connectives in Italian.Amaral Patrícia & Del Prete Fabio - 2010 - Linguistics and Philosophy 33 (2):51 - 115.
    This paper focuses on the interpretation of the Italian approximative adverb quasi 'almost' by primarily looking at cases in which it modifies temporal connectives, a domain which, to our knowledge, has been largely unexplored thus far. Consideration of this domain supports the need for a scalar account of the semantics of quasi (close in spirit to Hitzeman's semantic analysis of almost, in: Canakis et al. (eds) Papers from the 28th regional meeting of the Chicago Linguistic Society, 1992). When paired with (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.
    A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Lost in dissociation: The main paradigms in unconscious cognition.Luis M. Augusto - 2016 - Consciousness and Cognition 42:293-310.
    Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. On truth unpersistence: At the crossroads of epistemic modality and discourse.Patrícia Amaral & Fabio Del Prete - 2016 - Natural Language and Linguistic Theory 34.
    We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Modality, presupposition and discourse.Patrícia Amaral & Fabio Del Prete - forthcoming - In Del Rosario Juanito, Ornelas de Avelar Juanito & Lazzarin Letizia (eds.), Romance Languages and Linguistic Theory. John Benjamins Publishing Company.
    This paper provides a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which can be situated at the intersection of epistemic modality and discourse structure. In the analysis proposed, the particles are propositional operators and require that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, this proposition being incompatible with the prejacent, and that the interlocutors share knowledge of a previous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. On truth persistence. A comparison between European Portuguese and Italian in relation to sempre.Patricia Amaral & Fabio Del Prete - 2014 - In Patricia Amaral & Fabio Del Prete (eds.), Variation within and across Romance Languages. Selected papers from the 41st Linguistic Symposium on Romance Languages.
    This paper analyzes a non-temporal interpretation of the adverb sempre “always” in European Portuguese and Italian, in which the adverb expresses persistence of the truth of a proposition over time and displays specific contextual constraints (TP-sempre). Despite an overlap in the contexts in which TP-sempre may occur in both languages, we provide data showing that its distribution is not exactly the same in European Portuguese and Italian. In view of these data, we propose that TP-sempre is a modal operator of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Languages, machines, and classical computation.Luis M. Augusto - 2021 - London, UK: College Publications.
    3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  61
    Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Download  
     
    Export citation  
     
    Bookmark  
  48. To be or not to be informed, that is the question of O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):3-49.
    The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000